/* testing structure and array assignment */


/*@*/
int f(int x)
{
  int y;
  int * k;
  
  k = alloc (int);
  
  y = 8;  
  return x + y;
}
/*@*/


/*@*/
void main(){
  int i, j;
  int * p, q;
  
  i = f (888);
  p = alloc (int);
  print (i);
  return;
}
/*@*/
